Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
002696 | Bernadette Charron-Bost [France] ; Henri Debrat [France] ; Stephan Merz [France] | Formal Verification of Consensus Algorithms Tolerating Malicious Faults |
003A25 | Mouna Chaouch-Saad [Tunisie] ; Bernadette Charron-Bost [France] ; Stephan Merz [France] | A Reduction Theorem for the Verification of Round-Based Distributed Algorithms |
This area was generated with Dilib version V0.6.33. |